A graph-semantics of business configurations
نویسندگان
چکیده
In this paper we give graph-semantics to a fundamental part of the semantics of the service modeling language SRML. To achieve this goal we develop a new graph transformation system for what we call 2-level symbolic graphs. These kind of graphs extend symbolic graphs with a simple 2-level hierarchy that can be generalized to arbitrary hierarchies. We formalize the semantics using this new graph transformation system using a simple example of a trip booking agent.
منابع مشابه
A Framework of Hierarchical Graphs and its Application to the Semantics of SRML
Hierarchical graphs or, in general, hierarchical graphical structures are needed when describing visual models at different levels of abstraction. This is the case of the semantic model of SRML, the service modeling language of the project SENSORIA. In particular, the state model of this language is considered at two level of abstraction. Roughly, at the lowest level, a state configuration is a...
متن کاملExistence and uniqueness of the solution for a general system of operator equations in $b-$metric spaces endowed with a graph
The purpose of this paper is to present some coupled fixed point results on a metric space endowed with two $b$-metrics. We shall apply a fixed point theorem for an appropriate operator on the Cartesian product of the given spaces endowed with directed graphs. Data dependence, well-posedness and Ulam-Hyers stability are also studied. The results obtained here will be applied to prove the existe...
متن کاملModelling Flexible Human Resource Allocation by Stochastic Graph Transformation
In order for business process models to accurately capture the flexibility of human actors, we have to allow for flexible task management and role allocation. That means to take into account deadlines and escalation procedures, consider access rights, but allow temporary promotion and dynamic assignment of actors. In order to meet these requirements we will represent the configurations of a bus...
متن کاملFormal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
We present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal semantics is given for a minimal subset of BPMN 2.0 containing just the inclusive and exclusive gateways and the start and stop events. By focusing on this subset we achieve a simple graph model that highlights the pa...
متن کاملBPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules: extended version
The Business Process Model and Notation (BPMN) standard version 2.0 informally defines a precise execution semantics. This paper defines that execution semantics formally, by defining the execution rules as graph rewrite rules. The paper shows that the formal definition of execution rules in this manner is intuitive and simple, in particular because they can be specified graphically, using the ...
متن کامل